作分解 (可直接看最后一步)
由引理 3,
证毕.